A dynamic Effect Algebras with Dual Operation
نویسندگان
چکیده
منابع مشابه
Rationality in Algebras with a Series Operation
We consider the notion of rationality in algebras with a designated binary associative operation called the series operation, or the sequential product. We define automata operating in these algebras and rational expressions matching their expressive power, and we show that this expressive power equals that of algebraic recognizability. The framework which we consider encompasses both the free ...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملDerivations on dual triangular Banach algebras
Ideal Connes-amenability of dual Banach algebras was investigated in [17] by A. Minapoor, A. Bodaghi and D. Ebrahimi Bagha. They studied weak∗continuous derivations from dual Banach algebras into their weak∗-closed two- sided ideals. This work considers weak∗-continuous derivations of dual triangular Banach algebras into their weak∗-closed two- sided ideals . We investigate when weak∗continuous...
متن کاملModule Amenability of module dual Banach algebras
In this paper we defined the concept of module amenability of Banach algebras and module connes amenability of module dual Banach algebras.Also we assert the concept of module Arens regularity that is different with [1] and investigate the relation between module amenability of Banach algebras and connes module amenability of module second dual Banach algebras.In the following we studythe...
متن کاملon heyting algebras and dual bck-algebras
a heyting algebra is a distributive lattice with implication and a dual $bck$-algebra is an algebraic system having as models logical systems equipped with implication. the aim of this paper is to investigate the relation of heyting algebras between dual $bck$-algebras. we define notions of $i$-invariant and $m$-invariant on dual $bck$-semilattices and prove that a heyting semilattice is equiva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICS FOR APPLICATIONS
سال: 2012
ISSN: 1805-3610,1805-3629
DOI: 10.13164/ma.2012.05